lambda calculus перевод

• мат. лямбда-исчисление

• lambda:    1) ламбда, лямбда (11-я буква греческого алфавита)2) _анат. место соединения ламбдовидного и стреловидного швов черепа3) _биол. ламбда-фаг (инфицирующий кишечную палочку)4) _физ. ламбда-гиперон
• calculus:    1) _мат. исчисление Ex: the (differential) calculus дифференциальное исчисление Ex: calculus of probabilities исчисление вероятностей Ex: calculus of variation вариационное исчисление2) калькуляция3
• simply typed lambda calculus:    Просто типизированное лямбда-исчисление
• typed lambda calculus:    Типизированное лямбда-исчисление
• gm lambda:    General Motors Lambda platform
• lambda (anatomy):    Лямбда (анатомия)
• lambda 4s:    Лямбда-4S
• lambda andromedae:    Лямбда Андромеды
• lambda aquarii:    Лямбда Водолея
• lambda arae:    Лямбда Жертвенника
• lambda arietis:    Лямбда Овна
• lambda aurigae:    Лямбда Возничего
• lambda bacteriophage:    бактериофаг лямбда
• lambda baryon:    Лямбда-барионы
• lambda centauri:    Лямбда Центавра

• Semantics and Pragmatics of the Lambda Calculus.
  Его синтаксис и семантика = The Lambda Calculus.
• Semantics and Pragmatics of the Lambda Calculus.
  Его синтаксис и семантика = The Lambda Calculus.
• It is based on combinatory logic, a version of the lambda calculus that omits the lambda operator.
  Он основан на комбинаторной логике, варианте Лямбда-исчисления, который опускает оператор lambda.
• In this article, the author uses arguments based on lambda calculus to show why software cannot be patented.
  В этой статье автор пользуется аргументами, полученными на основе λ-исчисления, чтобы показать, почему программы нельзя патентовать.
• An equivalent theoretical formulation, combinatory logic, is commonly perceived as more abstract than lambda calculus and preceded it in invention.
  Сходное теоретическое понятие, комбинаторная логика, является более абстрактным, нежели λ-исчисления и было создано раньше.
• This replacement mechanism simplifies work in both combinatory logic and lambda calculus and would later be called currying, after Haskell Curry.
  Механизм такой замены упрощает работу как в терминах комбинаторной логики, так и лямбда-исчисления и позднее назван каррированием, в честь Хаскелла Карри.
• Newman subsequently arranged for Turing to visit Princeton where Alonzo Church was working on the same problem but using his Lambda calculus.
  Ньюман впоследствии помог Тьюрингу посетить Принстонский университет, где Алонзо Чёрч работал над той же самой проблемой, но использовал его Лямбда-исчисление.
• It was founded upon a bit of esoteric mathematics called the Lambda Calculus. LISP had a value at the fringes of computer technology, in particular for what became known as Artificial Intelligence or AI. AI researchers in the U.S. made LISP their standard.
  Он был основан на вызванном бите эзотерической математики расчетом Lambda. LISP имел значение на краях компьютерной технологии, в частности для стало известный как искусственный интеллект или AI. Исследователя AI в У.С. сделали LISP их стандарт.